-
1 свободная переменная
свободная переменная
несвязанная переменная
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > свободная переменная
-
2 свободная переменная
1. free variable2. unbound variableРусско-английский большой базовый словарь > свободная переменная
-
3 свободная переменная
-
4 свободная переменная
Русско-английский словарь по информационным технологиям > свободная переменная
-
5 свободная переменная
Русско-английский технический словарь > свободная переменная
-
6 свободная переменная
1) Mathematics: unrestricted variable2) Economy: free variable, slack variable3) Information technology: unbound variable4) Makarov: free variable (в математической логике)Универсальный русско-английский словарь > свободная переменная
-
7 свободная переменная
Русско-английский политехнический словарь > свободная переменная
-
8 свободная переменная
Русско-английский словарь по машиностроению > свободная переменная
-
9 свободная переменная
adjelectr. freie VariableУниверсальный русско-немецкий словарь > свободная переменная
-
10 свободная переменная
Russian-english psychology dictionary > свободная переменная
-
11 свободная переменная
ві́льна змі́ннаРусско-украинский политехнический словарь > свободная переменная
-
12 свободная переменная
ві́льна змі́ннаРусско-украинский политехнический словарь > свободная переменная
-
13 свободная переменная
variabile libera [illimitata] -
14 свободная переменная
adjecon. libre variable -
15 свободная переменная
adjIT. variable libreDictionnaire russe-français universel > свободная переменная
-
16 свободная переменная
free variable, unrestricted variableРусско-английский словарь по электронике > свободная переменная
-
17 свободная переменная
free variable, unrestricted variableРусско-английский словарь по радиоэлектронике > свободная переменная
-
18 свободная переменная
free variable, unbound variableРусско-английский словарь по вычислительной технике и программированию > свободная переменная
-
19 свободная переменная
-
20 свободная переменная
Русско-английский математический словарь > свободная переменная
См. также в других словарях:
Свободная переменная — Свободная переменная переменная, которая встречается в теле функции или предложения, но которая не является параметром этой функции, иили место, где эта переменная была определена, находится где то за пределами функции. См. также Замыкание … Википедия
свободная переменная — несвязанная переменная — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы несвязанная переменная EN free variable … Справочник технического переводчика
СВОБОДНАЯ ПЕРЕМЕННАЯ — свободное вхождение переменной, вхождение переменной в языковое выражение, являющееся параметром этого выражения. Строгое определение этого понятия может быть дано только для формализованного языка. Для каждого языка дается свое определение С. п … Математическая энциклопедия
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
Замыкание (программирование) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
логика функциональная — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
теория квантификации — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
кванторная логика — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
ДЕДУКЦИИ ТЕОРЕМА — общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. п. исчислений высказываний Д. т. утверждает: если… … Математическая энциклопедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия